A Bytecode-Compiled, Type-safe, Multi-Stage Language
نویسندگان
چکیده
!" # $ $ % & (' ) % * ,+. +0/ , # 1') , ) 2 3 !4 5 6 # $ , (' !7 +0 0/8 9 +& ) , # : $ .# + # ; < = , > 0 ? !@' # / + .# +A' B + < 7.
منابع مشابه
Meta-HDL: A Multi-Stage Programming Language for Dynamically Reconfigurable Hardware
We present Meta-HDL, a two-stage functional language for writing software which dynamically synthesizes and communicates with structurally specialized circuits. The associated type system ensures that compiled programs cannot attempt to generate nonsynthesizable logic. We implement the system bymodifying the MetaOCaml bytecode compiler/interpreter to enforce our typing restrictions and emit syn...
متن کاملTowards Array Bound Check Elimination in Java Virtual Machine Language
The Java Virtual Machine Language (JVML) is a platform independent programming language at bytecode level. A Java program is compiled into JVML bytecode in a standard Java implementation, which may be transferred across networks to various hosts and then interpreted by the Java Virtual Machine. Note that these hosts may not trust the source of the bytecode. For safety concerns, JVML disallows o...
متن کاملTowards array bound check elimination in Java TM virtual machine language
In a standard Java implementation, a Java program is compiled into Java bytecode, which is then interpreted by Java virtual machine (JVM). We refer to the bytecode language as Java virtual machine language in this paper. For safety concerns, JVM performs run-time array bounds checking to detect out-of-bounds array access. Unfortunately , this practice can be prohibitively expensive in cases inv...
متن کاملA Type System for Object Initialization in the Java Bytecode Language (summary)
In the standard Java implementation, a Java language program is compiled to Java bytecode and this bytecode is then interpreted by the Java Virtual Machine. Since bytecode may be written by hand, or corrupted during network transmission, the Java Virtual Machine contains a bytecode veriier that performs a number of consistency checks before code is interpreted. As one-step towards a formal spec...
متن کاملHarissa: a Flexible and Eecient Java Environment Mixing Bytecode and Compiled Code
The Java language provides a promising solution to the design of safe programs, with an application spectrum ranging from Web services to operating system components. The well-known tradeoo of Java's portabil-ity is the ineeciency of its basic execution model, which relies on the interpretation of an object-based virtual machine. Many solutions have been proposed to overcome this problem, such ...
متن کامل